33

A Hybrid Metalloarsenate 3D Framework—1D Interrupted Metal Oxide.

Year:
2003
Language:
english
File:
PDF, 60 KB
english, 2003
49

CERES in higher-order logic

Year:
2011
Language:
english
File:
PDF, 450 KB
english, 2011
50

On the elimination of quantifier-free cuts

Year:
2011
Language:
english
File:
PDF, 279 KB
english, 2011